InlineCompiled.agda:10,1-36
It is pointless for INLINE'd function id to have a separate Haskell
definition
